Nuprl Definition : isrcv 11,40
isrcv(k) == isl(k) 
latex

Definitionsisl(x)
FDL editor aliasesisrcv

origin